retracer($p$)(${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($p$.2.2)(${\it e'}$)).1